문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 수학/약어 및 기호 (문단 편집) == 증명 서술 == || 기호 || 약어 || 영어 표기 || 한국어 뜻 || [[TeX 문법]] || || ||[math(\sf WLOG)] ||without loss of generality ||일반성을 잃지 않고 || {{{{\sf WLOG} }}} || || [anchor(tfae)] ||[math(\sf TFAE)] ||the following are all equivalent ||다음은 모두 동치이다.[*A] || {{{{\sf TFAE} }}} || || ||[math(\sf ETS)] ||easy/enough to show ||다음을 보이는 것은 쉽다/것으로 충분하다. || {{{{\sf ETS} }}} || || ||[math(\sf RTS)] ||remain to show ||다음의 증명이 남아있다/다음을 증명하면 완료된다. || {{{{\sf RTS} }}} || || ||[math(\sf WTS)] ||what/want to show ||다음을 보이자/~를 보이고 싶다 || {{{{\sf WTS} }}} || || ||[math(\sf s.t.)][br][math(\sf st)] ||such that[br]satisfying ||다음과 같은 (성질을 만족하는) || {{{{\sf s.t.} }}}[br]{{{{\sf st} }}} || || ||[math(\sf N.t.)] ||note that ||기억하자 || {{{{\sf N.t.} }}} || || ||[math(\sf rmk)] ||remark ||떠올려보자, 강조 || {{{{\sf rmk} }}} || || ■[br]□ ||[[Q.E.D.|[math(\sf Q.E.D.)]]] ||quod erat demonstrandum[*라틴] ||증명 완료 || {{{\blacksquare}}}[br]{{{\square}}}[br]{{{{\sf Q.E.D.} }}} || || ||[math(\sf i.e.)] ||id est[*라틴][br]that is ||즉, 다시 말하면 || {{{{\sf i.e.} }}} || || ||[math(\sf e.g.)][br][math(\sf ex)] ||exempli gratia[*라틴][br]For example ||예를들면/이를테면 || {{{{\sf e.g.} }}}[br]{{{{\sf ex} }}} || || ≝[br]≔[br]≕[* ≔와는 의미상 차이가 있다. A := B는 "B를 A라고 부른다," 즉 A를 정의하는 것인 반면, A =: B는 "A를 B라고 부른다," 즉 B를 정의하는 것이다. ≔를 주로 쓰긴 하지만 ≕를 쓰는 것이 흐름이나 의미상 더 자연스러운 경우가 간혹 있다. 예컨대 먼저 복잡한 식을 제시하고 여러 단계를 거쳐 전개/간결화하고 난 후 최종적으로 나온 결과를 어떤 상수로 정의하는 경우.][br]≜||[math(\sf def.)] ||definition ||정의 || {{{\xlongequal{\sf def}}}}[br]{{{:=}}}[br]{{{=:}}}[br]{{{\triangleq}}}[br]{{{{\sf def.} }}} || || ||[math(\sf cf)] ||confer ||참조 || {{{{\sf cf} }}} || ||∵ || ||since[br]because ||때문에 || {{{\because}}} || ||∴ || ||thus[br]therefore[br]hence ||따라서 || {{{\therefore}}} || || || ||suppose[br]assume ||~라 가정한다[* suppose는 실제론 거짓인 명제를 참으로 두고 모순이나 반례를 보일 때 자주 사용하고, assume은 실제로 참인 명제를 참으로 두고 논리전개할 때 자주 쓴다.] || || || || ||one and only one ||단 하나만 || || || || ||one and only one of the following ||다음 중 오직 하나만이 || || || ||[math(\sf pf)] ||proof ||증명 || {{{{\sf pf} }}} || || ||[math(\sf sol)] ||solution ||풀이 || {{{{\sf sol} }}} || || || ||claim ||주장 || || || ||[math(\sf cond.)] ||condition ||조건 || {{{{\sf cond.} }}} ||저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기